Algebraic data type - PDFSEARCH.IO - Document Search Engine

Algebraic data type
Results: 119

#	Item
71	Algebraic data types The case against null Motivation ● ● Add to Reading List Source URL: files.meetup.com Language: English - Date: 2014-07-01 06:57:43 Functional languages Procedural programming languages Data types Type theory OCaml Algebraic data type Caml ML Pattern matching Software engineering Computer programming Computing
72	Chapter 29 Lightweight Invariants with Full Dependent Types Edwin Brady1 , Christoph Herrmann1 , Kevin Hammond1 Category: Position Paper Add to Reading List Source URL: eb.host.cs.st-andrews.ac.uk Language: English - Date: 2008-06-27 08:41:28 Functional programming Append Sort Quicksort Monad Partition Category Polymorphism Algebraic data type Software engineering Declarative programming Computing
73	Attribute Grammars in Haskell with UUAG ¨ Andres Loh joint work with S. Doaitse Swierstra and Arthur Baars [removed] Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:13 Data types Formal languages Functional programming Type theory Parsing Algebraic data type Attribute grammar Haskell C++ classes Software engineering Computing Computer programming
74	[Faculty of Science Information and Computing Sciences] Types, Universes and Everything Andres L¨oh Dept. of Information and Computing Sciences, Utrecht University Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:14 Computing Array data type Pointer Vertex Computer programming Algebraic graph theory Data types 3D computer graphics Mathematics
75	Generic Views on Data Types Stefan Holdermans Johan Jeuring Andres L¨oh Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:14 Data types Type theory Functional programming Category theory Generic programming Algebraic data type Fold Type system Recursive data type Software engineering Computing Computer programming
76	Contents Algebraic ABCs Summary Add to Reading List Source URL: www.acooke.org Language: English - Date: 2011-05-19 07:49:35 Object-oriented programming Data types Type theory Subroutines Functional programming Type system Python Foreach loop Tagged union Software engineering Computing Computer programming
77	Preprint version. A Pattern for Almost Compositional Functions Bj¨orn Bringert Aarne Ranta Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2006-07-27 18:53:27 Computing Data types Functional programming Monad Pattern matching Generic programming Generalized algebraic data type Algebraic data type Type system Software engineering Declarative programming Type theory
78	The UU AG System Programming with Functions, Aspects, Attributes, and Catamorphisms Andres L¨ oh Institute of Information and Computing Science Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:15 Data types Formal languages Functional programming Recursion Parsing Attribute grammar Algebraic data type Cons ALGOL 68 Software engineering Computer programming Computing
79	Generic Haskell Andres Löh Universiteit Utrecht [removed] 24th November 2003 Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:14 Programming language theory Haskell Generic programming Type system Pattern matching Haskell 98 features Generalized algebraic data type Software engineering Computing Functional languages
80	banner above paper title Typed Transformations of Typed Abstract Syntax Arthur Baars S. Doaitse Swierstra Add to Reading List Source URL: foswiki.cs.uu.nl Language: English - Date: 2008-10-16 11:51:41 Programming language theory Data types Functional programming LG enV2 LG enV Type system Env Generalized algebraic data type ECL programming language Software engineering Computing Type theory